Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
831	Analysis of HFE from a BDD point of view J.F Michon LIFAR∗ J.B. Yunes LIAFA† Add to Reading List Source URL: ccc.ustc.edu.cn Language: English - Date: 2006-10-24 07:55:03 Theoretical computer science Binary decision diagram Model checking Cryptography Boolean function Polynomial P Applied mathematics Boolean algebra Mathematics Diagrams
832	TLA+ Veriﬁcation of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Proof theory Mathematical logic Logical syntax Formal systems Logical truth Model checking Communications protocol Formal methods Correctness Logic Mathematics Computing
833	Parametric Verification of Industrial Cache Protocols M URALI TALUPUR S AVA K RSTI C´ J OHN O’L EARY Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Cache coherency Parallel computing Cryptographic protocols Communications protocol Data transmission Protocols Cache coherence Model checking Cache Computing Concurrent computing Data
834	Model 100 v5.2.0 Pre-Election Day Checklist Checking Supplies and the Equipment 1. 1 paper spool per scanner per election Add to Reading List Source URL: www.in.gov Language: English - Date: 2014-07-01 03:05:47 Image scanner Ballot Election Systems & Software Technology Accountability Electronic voting Politics Information society
835	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
836	Preface i SystemVerilog Assertions rd Add to Reading List Source URL: systemverilog.us Language: English - Date: 2012-09-03 22:27:59 Hardware description languages Logic in computer science SystemVerilog Verilog E Assertion Model checking Formal methods Formal verification Electronic engineering Electronic design automation Hardware verification languages
837	CrowdMine: Towards Crowdsourced Human-Assisted Verification Wenchao Li Sanjit A. Seshia Somesh Jha Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-05-25 20:37:06 Applied mathematics Electronic engineering Electronic design automation Electronic design Human-based computation Crowdsourcing Formal verification Software verification Model checking Theoretical computer science Formal methods Logic in computer science
838	Taxys = Esterel + Kronos A tool for verifying real-time properties of embedded systems 1 V. Bertin Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Software engineering Computer programming Esterel SIGNAL Model checking Embedded system Scheduling Porting Operating system Hardware description languages Synchronous programming languages Computing
839	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset⋆ Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis ´ VERIMAG, Centre Equation, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Information Model checking Communications protocol Component-based software engineering Software development process Distributed computing Software engineering Software architecture Data
840	Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Formal methods Concurrent computing Software development Electronic engineering SIGNAL Esterel Real-time computing Actor model Model checking Computing Hardware description languages Synchronous programming languages

UPDATE